product of elementary matrices